Automatic Transition of Natural Language Software Requirements Specification into Formal Presentation
نویسندگان
چکیده
Software requirements specification is a critical activity of the software process, as errors at this stage inevitably lead to problems later on in system design and implementation. The requirements are written in natural language, with the potential for ambiguity, contradiction or misunderstanding, or simply an inability of developers to deal with a large amount of information. This paper proposes a methodology for the natural language processing of textual descriptions of the requirements of an unlimited natural language and their automatic mapping to the object-oriented analysis model.
منابع مشابه
Two-Level Grammar as an Object-Oriented Requirements Specification Language
Two-Level Grammar (TLG) is proposed QS an object-oriented requirements specification language with Q natural language (NL) style but suficiently formal to allow automatic transformation of the TLG specification into formal specifications in VDM++, an object-oriented version of the Vienna Development Method. The VDM++ specification may be further transformed into JavaTM code or integrated with t...
متن کاملContextual Knowledge Representation for Requirements Documents in Natural Language
In software requirements engineering there have been very few attempts to automate the translation from a requirements document written in a natural language (NL) to one of the formal specification languages. One of the major reasons for this challenge comes from the ambiguity of the NL requirements documentation because NL depends heavily on context. To make a smooth transition from NL require...
متن کاملAutomatic Analysis of Embedded Systems Specified in Astral
A prerequisite for successful software development is the availability of a complete and consistent software requirements specification. One way to asses the correctness of requirements specifications is the application of formal verification. Recently, the verification tool Uppaal [12, 16] has become available. Uppaal performs automatic verification of properties of real-time systems through m...
متن کاملObtaining Formal Requirements Representations with the RSLingo Approach
In order to carve out from the open space of possibilities the software system that the business stakeholders need and expect, it is crucial to properly document all observable and desired characteristics of the software system to be built, i.e., its requirements. In this paper we present RSLingo, an information extraction approach based on two domain-specific languages: RSL-PL and RSL-IL. The ...
متن کاملBridging the Gap between Natural Language Requirements and Formal Specifications
In this paper, we discuss the problem of transforming a natural language requirements specification into a formal specification. We present several methods to support the process and implemented them in a commercial tool, the Requirements Quality Suite. We achieve this by enriching the requirement text with additional structure (using a knowledge base) and asking the requirement engineer to for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005